Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Mon, 27 Jul 2026 09:39:42 +0000 (11:39 +0200)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Mon, 27 Jul 2026 09:39:42 +0000 (11:39 +0200)
commit38b51f8dc0aff16bd2ed35ee5153a7f34733a084
tree863bd5cc615976d7e9579a0d65b15406a26d1227
parent225c6865f4b84fccab4b95e8a04f89341dbf491a
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java